Scheme-based Definition and Conjecture Synthesis for Inductive Theories Omar Montano, Roy McCasland, Lucas Dixon, Alan Bundy School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburg

Source URL: dream.inf.ed.ac.uk

• Artificial intelligence
• Automated theorem proving
• Alan Bundy
• Automated reasoning
• Theorem
• Theory
• Informatics
• Mathematics
• Mathematical proof
• Scheme

System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science

Source URL: www.cs.man.ac.uk

• Automated theorem proving
• Logic in computer science
• Constraint programming
• Logic programming
• Rules of inference
• Resolution
• Boolean satisfiability problem
• Clause
• Small clause
• Reasoning system
• English relative clauses
• Unit propagation

NetClinic: Interactive Visualization to Enhance Automated Fault Diagnosis in Enterprise Networks Zhicheng Liu∗ Bongshin Lee†

Source URL: www.zcliu.org

• Computational science
• Computer graphics
• Infographics
• Visualization
• Scientific modeling
• Abductive reasoning
• Medical diagnosis
• Visual analytics
• Information visualization
• Graph drawing

Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract

Source URL: www.cs.miami.edu

• Statements
• Non-associative algebra
• Formal methods
• Group theory
• Quasigroup
• Conjecture
• Mathematical proof
• Theorem
• Automated theorem proving
• Prime number
• Theory
• Concept learning

The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop

Source URL: www.cs.miami.edu

• Functional languages
• Lisp
• Automated theorem proving
• Theoretical computer science
• Procedural programming languages
• ACL2
• Nqthm
• J Strother Moore
• ACL
• Common Lisp
• Formal methods
• Automated reasoning

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: www.cse.chalmers.se

• Mathematical optimization
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Constraint
• Constraint logic programming
• Constraint satisfaction

Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• ACL2
• Lisp
• Statements
• Automated theorem proving
• Formal verification
• J Strother Moore
• Mathematical proof
• Conjecture
• Algorithm
• Reason

Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri

Source URL: repository.readscheme.org

• Automated theorem proving
• Logic in computer science
• Formal methods
• Theoretical computer science
• Prolog
• Logic programming
• Model elimination
• Mathematical logic
• E theorem prover
• First-order logic
• Lean theorem prover
• Automated reasoning

Aftermath Historical Explorations of Early Automated Reasoning Stephanie Dick Department of History of Science, Harvard University Turing Centenary Research Project Workshop

Source URL: www.mathcomp.leeds.ac.uk

Introduction to Modal and Temporal Logic c Rajeev Gore´ Automated Reasoning Group Computer Sciences Laboratory Australian National University

Source URL: ssll.rsise.anu.edu.au